<?php

class BrokenFilter
{
}
